export const robotNum = 2; //初始机器人数量
export const robotIds = new Array(robotNum).fill('').map((i, ind) => ind); //机器人初始名称